Tema: LÓGICA MODAL Se han encontrado 5 resultados
| Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
|---|---|---|---|---|---|
Tesis |
Completitud e implementación de modalidades en MAS | Ambrossio, Agustín |
(2011) |
Sala
|
---------- |
Libro |
Formal methods in artificial intelligence | Ramsay, Allan |
1st ed.
(1988) |
Domicilio
|
---------- |
Tesis |
Implementación de chequeadores de modelos para MAS: | Fournier, Gastón |
(2014) |
Sala
|
---------- |
Libro |
Modal Logic | Blackburn, Patrick |
4th ed.
(2010) |
Domicilio
|
---------- |
Tesis |
Sobre la representación de S4.3.: | Bonelli, Eduardo |
(1996) |
Sala
|
---------- |